Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
21	CS264: Beyond Worst-Case Analysis Lecture #20: From Unknown Input Distributions to Instance Optimality∗ Tim Roughgarden† December 3, 2014 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-12-29 00:22:18 Operations research Algorithm Mathematical logic Theoretical computer science Mathematical optimization Academia Mathematics Applied mathematics Dynamic programming Randomized algorithms as zero-sum games Randomized rounding
22	American Economic Review 2012, 102(4): 1663–1691 http://dx.doi.orgaerRisk Aversion and the Labor Margin in Dynamic Equilibrium Models† By Eric T. Swanson* Add to Reading List Source URL: www.ericswanson.us Language: English - Date: 2012-07-30 14:56:25 Economy Financial risk Utility Expected utility Logic Behavioral finance Game theory Consumer theory Elasticity of intertemporal substitution Risk aversion Hyperbolic absolute risk aversion Bellman equation
23	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
24	IEEE JOURNAL OF SOLID-STATE CIRCUITS, VOL. 42, NO. 11, NOVEMBERGMACS/mW Resonant Adiabatic Mixed-Signal Processor Array for Add to Reading List Source URL: www.isn.ucsd.edu Language: English - Date: 2008-02-16 16:18:00 Electromagnetism Electronic engineering Electronics Digital electronics Logic families Computer memory Integrated circuits Adiabatic circuit Energy conservation CMOS Dynamic voltage scaling Dynamic logic
25	On the Optimality of Top-k Algorithms for Interactive Web Applications∗ Yael Amsterdamer Daniel Deutch Add to Reading List Source URL: webdb2011.rutgers.edu Language: English - Date: 2011-05-31 18:17:42 Computational complexity theory Mathematics Edsger W. Dijkstra Graph theory Algorithm Mathematical logic Theoretical computer science Shortest path problem NP Dynamic programming
26	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
27	Monotonicity and global stability in download dynamics of content-sharing networks Fernando Paganini and Andres Ferragut Universidad ORT Uruguay Abstract— This paper analyzes previously-proposed dynamic models of conte Add to Reading List Source URL: fi.ort.edu.uy Language: English Metalogic Model theory Dynamical system Philosophy Logic Abstraction
28	Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-29 06:58:27 Theoretical computer science Logic in computer science Programming language semantics Denotational semantics Semantics Action semantics Operational semantics Programming language
29	Learning the Preferences of Ignorant, Inconsistent Agents Owain Evans ¨ Andreas Stuhlmuller Add to Reading List Source URL: stuhlmueller.org Language: English - Date: 2015-12-27 07:52:45 Logic Statistics Economics Game theory Behavioral finance Expected utility Statistical theory Microeconomics Expected utility hypothesis Dynamic inconsistency Hyperbolic discounting Preference

UPDATE